Termination analysis